Skip to content

Conversation

janjust
Copy link
Contributor

@janjust janjust commented Jul 11, 2024

Signed-off-by: Roie Danino [email protected]
(cherry picked from commit 093900d)

@janjust janjust requested a review from roiedanino July 11, 2024 16:19
@github-actions github-actions bot added this to the v5.0.4 milestone Jul 11, 2024
@janjust
Copy link
Contributor Author

janjust commented Jul 11, 2024

@roiedanino this is v5.0.x cherry-pick thanks for the PR, please approve

@janjust janjust mentioned this pull request Jul 11, 2024
@wenduwan wenduwan merged commit d721a4d into open-mpi:v5.0.x Jul 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants